Section: Contracts and Grants with Industry

S2S4HLS: Nano2012 Project with STMicroelectronics on Source-to-Source Transformations for High-Level Synthesis

Participants : Christophe Alias, Alain Darte, Paul Feautrier, Alexandru Plesco.

This contract has started in January 2009 as part of the funding mechanism Nano2012. This is a joint project with the Cairn Inria project-team and stm icroelectronics, whose goal is the study and development of source-to-source program transformations, in particular loop transformations, that are worth applying on top of HLS tools. This includes restructuring transformations, program analysis, memory optimizations and array reshaping, etc. Some of the work presented in Section  6.9 is part of this project.

The fact that Nano2012 was cancelled or only frozen (depending on the day) forced us to quit the project. We were indeed about to hire a post-doc on this topic and could not do it due to this unexpected governmental decision. This contract was therefore closed in 2011.